Mijung Kim

Mijung Kim

Associate Professor at UNIST

About me

Mijung is an associate professor at the Computer Science and Engineering department and AI Graduate School of UNIST (Ulsan National Institute of Science and Technology), South Korea. She is leading Software Testing and Analysis Research Lab at UNIST. Before joining UNIST, she worked as a postdoc researcher at Purdue University, USA. She obtained a PhD degree from Hong Kong University of Science and Technology.

Her research focuses on automated software testing with an emphasis on test generation and its practical usage. Recently, she has been working on developing testing techniques for machine learning frameworks and applications. In the past, she also worked on defect prediction for API testing, regression testing on biomedical infrastructure, and detecting incomplete bug fixes.

Research Interests

Automated software testing and analysis in the artificial intelligence domain, test generation, fuzzing, search-based software engineering, regression testing, and defect prediction.

For Prospective Students

We are looking for research students at all levels, undergraduate interns, MS, MS-PhD, and PhD. If you are interested, please send an email to Mijung at mijungk at unist dot ac dot kr. For more information about our lab, please visit our lab introduction page here.

Education

  • Ph.D Hong Kong University of Science and Technology, Hong Kong, China
  • M.S. Georgia Institute of Technology, Georgia, USA
  • B.S. University of Illinois at Urbana-Champaign, Illinois, USA

Work Experience

  • Associate Professor at UNIST, South Korea
  • Assistant Professor at UNIST, South Korea
  • Postdoc at Purdue University, USA
  • Visiting scholar at Southern University of Science and Technology, Shenzhen, China
  • Research assistant at Hong Kong University of Science and Technology, Hong Kong, China
  • Research intern at Accenture Technology Lab, San Jose, California, USA
  • Graduate research assistant at Georgia Institute of Technology, USA
  • Software engineer at Samsung Electronics Mobile Division, South Korea

Publications

Members

  • Current Students
    • Sehoon Kim, PhD. Fall 2022 ~ Present
    • Minsu Jung, MS-PhD. Spring 2025 ~ Present
    • Yonghyeon Kim, MS. Spring 2024 ~ Present
    • Jooyoung Jang, MS. Spring 2024 ~ Present
    • Yunseo Lee, MS. Spring 2025 ~ Present
    • Byoungwoo Yoo, Undergrad Intern. Winter 2022 ~ Present
    • Sangjun Jung, Undergrad Intern. Fall 2025 ~ Present
  • Alumni
    • Dahyeon Park, MS. Graduated in 2025.
    • Sangjune Park, MS. Graduated in 2024. (First job - SK Hynix, South Korea)
    • Seongdeok Seo, MS. Graduated in 2024. (First job - Hyundai Motors, South Korea)
  • Former Visitors
    • Dr. Judy Lee from IBM, Research Assistant Professor at UNIST. Winter 2023 ~ Fall 2023
  • Former Undergraduate Interns
    • Hwijun Kim, Usmonali Pakhlavonov, Aliona Pirozhenko, Thu Phuong Nguyen, Jaehyun Bhang, Youngchan Jung, Eunbi Oh, Gibeom Im, Jongmin Ahn, Soyeon Park

Teaching Experience

  • Instructor
    • UNIST. CSE 271: Principles of Programming Languages. Fall 2025, Fall 2021.
    • UNIST. CSE 524: Advanced Software Engineering. Spring 2025, Fall 2023, Fall 2021.
    • UNIST. CSE 324: Software Engineering. Spring 2024, Spring 2023, Spring 2021.
    • UNIST. CSE 332: Theory of Computation. Spring 2022.
    • UNIST, CSE 552: Program Analysis. Fall 2024, Spring 2022.
    • UNIST. CSE 524: Advanced Software Engineering. Spring 2025, Fall 2023, Fall 2021.

Talks

  • Greybox Fuzzing for Deep Learning Libraries. McGill and Concordia University 2025
  • Fuzzing Deep Learning APIs. National Security Research Institute and Korean Conference of Software Engineering 2025
  • Testing for AI Software. Software Engineering Society in Korea 2024
  • Testing AI Software Systems. Korea Computer Congress 2024
  • Testing AI Software Systems. Software Disaster Research Center 2023
  • Fuzzing Deep Learning Frameworks. Postech 2023
  • Automated Software Testing: How Far are We? University of British Columbia 2022
  • Introducing Software Testing and Analysis Research (STAR) Lab. Nanyang Technological University 2022
  • Automated Software Testing: How Far are We? KAIST 2022
  • Automated Software Testing: How Far are We? Handong University 2022
  • Automated Software Testing for Machine Learning Software. Gyeongsang National University 2022
  • Fuzzing AI Software Systems. Seoul National University 2022
  • Automated Software Testing for Machine Learning Software. Korean Conference of Software Engineering 2021
  • Automated Software Testing for Machine Learning Software. Software Disaster Research Center 2021
  • Automated Software Testing for Machine Learning Software. Korea Computer Congress 2021
  • Automated Software Testing for Deep Learning Frameworks. UNIST 2020, 2021.
  • Which Generated Test Failures are Fault Revealing? KAIST 2019
  • Which Generated Test Failures are Fault Revealing? ESEC/FSE 2018
  • REMI: Risk Evaluation Method for API Testing. Samsung Electronics 2014
  • Efficient Regression Testing of Ontology-Driven System. HKUST 2013
  • Efficient Regression Testing of Ontology-Driven System. ISSTA 2012
  • An Informatics Framework for Testing Data Integrity and Correctness of Federated Biomedical Databases. AMIA-CRI 2011
  • Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes. ICST 2010

Service

  • Organizing Committee
    • International Conference on the Foundations of Software Engineering (FSE) - Publicity Co-chair, 2026
    • International Conference on Software Testing, Verification and Validation (ICST) - Poster Co-chair 2026
    • International Conference on Automated Software Engineering (ASE) - Student Volunteers Co-chair, 2025
  • Program Committee
    • International Workshop on Search-Based and Fuzz Testing (SBFT), 2026
      • International Conference on Software Analysis, Evolution and Reengineering (SANER), 2026
    • Asia-Pacific Software Engineering Conference (APSEC), 2025
      • International Conference on Automated Software Engineering (ASE), 2025
    • International Conference on Software Engineering (ICSE), 2025 * International Symposium on Software Testing and Analysis (ISSTA) - Tool Demo, 2025
    • Asia-Pacific Software Engineering Conference (APSEC), 2023
    • International Conference on Software Engineering, Management and Applications (SERA), 2023
    • Foundations on Software Engineering (FSE) - Student Research Competition, 2022 * Korean Conference on Software Engineering (KCSE), 2021, 2022, 2023, 2024, 2025.
    • International Conference on Automation of Software Test (AST), 2020.
    • Workshop on Deep Data Intelligence for Finance at International Conference on Data Mining (ICDM), 2020.
  • Artifact Evaluation Committee
    • International Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), 2020.
  • Reviewer
    • Transactions on Software Engineering and Methodology (TOSEM) 2022-2025
    • Transactions on Software Engineering (TSE) 2017-2025
    • International Conference on Software Engineering Advances (ICSEA) 2019
    • Jordanian Journal of Computers and Information Technology (JJCIT) 2017
    • Mining Software Repository (MSR) 2017
    • International Conference on Software Analysis, Evolution and Reengineering (SANER) 2016-2017
  • External Reviewer
    • Foundations on Software Engineering (FSE) 2020
    • International Symposium on Software Testing and Analysis (ISSTA) 2020
    • Internetware 2019
    • Foundations on Software Engineering (FSE) 2018
    • International Conference on Software Engineering (ICSE) 2016-2017
    • Foundations on Software Engineering (FSE) 2015
    • International Conference on Software Testing, Verification and Validation (ICST) 2013

Patents

  • Kunal Taneja, Teresa Tung, and Mijung Kim. Testing Framework for Policy-based Workflows. US Patent #20150095895. April, 2015.
  • Kunal Taneja, Teresa Tung, and Mijung Kim. Testing Framework for Policy-based Workflows. European Patent #14187280.4-1951. October, 2014.